(echo -n "internal_styles.c: mkstyle.sh " ; echo style/*.style ; /bin/echo -e '\t./mkstyle.sh > internal_styles.c || (rm -f internal_styles.c ; exit 1)' ) >> /tmp/dep
echo Edit Makefile and bring in /tmp/dep
-VERSIONU=1_2_5_beta11302004-bob
-VERSIOND=1.2.5_beta11302004-bob
+VERSIONU=1_2_5_beta12222004
+VERSIOND=1.2.5_beta12222004
#VERSIONU=1_2_4
#VERSIOND=1.2.4